Evaluating the Effects of Compiler Optimisations on AVF

نویسندگان

  • Timothy M. Jones
  • Michael F.P. O’Boyle
  • Oğuz Ergin
چکیده

Transient faults are becoming more of a problem to processor designers as feature sizes shrink and the number of transistors on a chip increases. Significant research has focused on hardware techniques to evaluate and reduce the architectural vulnerability to soft errors (AVF). This paper, however, considers the problem from a different angle, evaluating the effects of compiler optimisations on the AVF of an entire embedded processor. We consider the impact on performance and AVF and produce a new metric (ADS) to evaluate the trade-offs between reducing susceptibility to transient faults and decreasing processor performance. We show that optimisations enabled by default at -O2 and -O3 can lead to large performance decreases, a higher AVF value and an ADS value of over 1.2. However, selectively picking the combination of optimisations means that performance increases can be achieved with negligible effect on AVF, leading to an ADS value of 0.91, with the best combination reducing one benchmark’s AVF by 13%.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis

A substantial amount of work has been devoted to the proof of correctness of various program analyses but much less attention has been paid to the correctness of compiler optimisations based on these analyses. In this paper we tackle the problem in the context of strictness analysis for lazy functional languages. We show that compiler optimisations based on strictness analysis can be expressed ...

متن کامل

Identifying Compiler Options to Minimise Energy Consumption for Embedded Platforms

This paper presents an innovative technique to explore the effect on energy consumption of an extensive number of the optimisations a compiler can perform. We evaluate a set of ten carefully selected benchmarks for five different embedded platforms. A fractional factorial design is used to systematically explore the large optimisation space (2 possible combinations), whilst still accurately det...

متن کامل

Compositional Verification of Compiler Optimisations on Relaxed Memory

A valid compiler optimisation transforms a block in a program without introducing new observable behaviours to the program as a whole. Deciding which optimisations are valid can be difficult, and depends closely on the semantic model of the programming language. Axiomatic relaxed models, such as C++11, present particular challenges for determining validity, because such models allow subtle effe...

متن کامل

Verifying Fence Elimination Optimisations

We consider simple compiler optimisations for removing redundant memory fences in programs running on top of the x86-TSO relaxed memory model. While the optimisations are performed using standard thread-local control flow analyses, their correctness is subtle and relies on a non-standard global simulation argument. The implementation and the proof of correctness are programmed in Coq as part of...

متن کامل

Identifying Compiler Options to Minimize Energy Consumption for Embedded Platforms

This paper presents an analysis of the energy consumption of an extensive number of the optimisations a modern compiler can perform. Using GCC as a test case, we evaluate a set of ten carefully selected benchmarks for five different embedded platforms. A fractional factorial design is used to systematically explore the large optimisation space (2 possible combinations), whilst still accurately ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007